First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
601	Contents Part I CLASSICAL SENTENTIAL LOGIC Chapter 1: What Is Logic? 3 1. Arguments 3 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1999-07-23 18:09:01 Model theory Non-classical logic Philosophical logic Predicate logic First-order logic Intuitionistic logic Propositional calculus Modal logic Natural deduction Logic Mathematical logic Proof theory
602	T HE R EVIEW OF S YMBOLIC L OGIC Volume 2, Number 2, June 2009 PLURALISM IN LOGIC HARTRY FIELD Philosophy Department, New York University Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2009-08-21 05:52:07 Non-classical logic Philosophy of mathematics Propositional calculus Paraconsistent logic Entailment Intuitionistic logic Relevance logic Intuitionism First-order logic Logic Mathematical logic Philosophical logic
603	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Logical connectives Model theory Propositional calculus Modal logic First-order logic Liar paradox Negation Truth Logic Mathematical logic Philosophical logic
604	Abstracta 5 : 1, pp. 30 – 42, 2009 FEATURE-PLACING SENTENCES AND THE CANONICAL SCHEME Xiaoqiang Han Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:08 Predicate logic Semantics Analytic philosophers Mathematical logic Propositional calculus Willard Van Orman Quine Proposition Predicate First-order logic Logic Linguistics Philosophy
605	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory
606	Artificial Intelligence E LSEV I ER Artificial Intelligence[removed]366 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-09-16 15:57:11 Mathematics Functional predicate Function Formal grammar Definite clause grammar Context-free grammar Syntax Propositional calculus First-order logic Formal languages Logic Mathematical logic
607	Microsoft Word[removed]All 12.doc Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-05-11 17:43:54 Formal methods Theoretical computer science Handout Humanitarian aid First-order logic Programming language ALGOL 68 Predicate transformer semantics Parallel computing Computing Software engineering Computer programming
608	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
609	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
610	Realizability Toposes Stijn Vermeeren Darwin College Bekaflaan 1 bus[removed]Aarschot Belgium Add to Reading List Source URL: stijnvermeeren.be Language: English - Date: 2010-07-15 09:29:15 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Function Interpretation First-order logic Mathematical logic Mathematics Logic

UPDATE